Formal language - PDFSEARCH.IO - Document Search Engine

Formal language
Results: 1838

#	Item
711	KnowledgeREADER™ Integrated Customer Intelligence KnowledgeREADER is an industry-first application that brings a new age of integrated customer intelligence by combining visual text discovery and Add to Reading List Source URL: www.angoss.com Language: English - Date: 2014-05-29 09:39:51 Business intelligence Data analysis Formal sciences Business Statistical natural language processing Text analytics Analytics Data mining Sentiment analysis Natural language processing Science Statistics
712	Relative Lempel-Ziv Factorization for Efficient Storage and Retrieval of Web Collections 1 Christopher Hoobin1 , Simon J. Puglisi1,2 , and Justin Zobel3 Add to Reading List Source URL: vldb.org Language: English - Date: 2011-11-23 01:03:10 Formal sciences Archive formats Information retrieval Searching Natural language processing LZ77 and LZ78 DEFLATE Search engine indexing Zlib Data compression Information science Software
713	to be published in: Foundations of Science 4(1), 1999 Advantages and limitations of formal expression Francis HEYLIGHEN * Center "Leo Apostel" Add to Reading List Source URL: cleamc11.vub.ac.be Language: English - Date: 2014-05-02 12:27:22 Philosophical logic Formal languages Philosophy of language Philosophy of mathematics Semantics Expression Regular expression Meaning Fuzzy logic Logic Mathematics Philosophy
714	ACL2 for Freshmen: First Experiences Carl Eastlund [removed] Dale Vaillancourt [removed] Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Mathematical logic Theoretical computer science Lisp programming language Formal methods Logic in computer science ACL2 Mathematical proof Formal verification Recursion Mathematics Computing Computer programming
715	Fortifying Macros ∗ Ryan Culpepper † Matthias Felleisen Northeastern University Add to Reading List Source URL: www.ccs.neu.edu Language: English - Date: 2015-03-24 18:44:54 Source code Formal languages C programming language Transformation languages Hygienic macro Scheme programming language Macro Pattern matching Attribute grammar Computer programming Computing Software engineering
716	Dimensions of Deep Grammar Validation Dan Flickinger Oslo, Saarland, and Stanford Universities [removed] Abstract Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:07:53 Generative linguistics Natural language processing Formal languages Speech recognition Head-driven phrase structure grammar Parsing LKB Tree-adjoining grammar Phrase structure grammar Linguistics Science Computational linguistics
717	Disambiguating Conjunctions in Named Entities Pawel MAZUR Institute of Applied Informatics Wroclaw University of Technology Wyb. Wyspia´ nskiego 27 Add to Reading List Source URL: www.alta.asn.au Language: English - Date: 2006-02-22 22:07:54 Formal languages Natural language processing Artificial intelligence String Part-of-speech tagging Named-entity recognition Algorithm Information extraction Regular expression Linguistics Computational linguistics Science
718	Microsoft Word - 11-LALR-Parsing.doc Add to Reading List Source URL: dragonbook.stanford.edu Language: English - Date: 2008-09-08 17:10:19 Compiler construction Compiling tools LALR parser Parser generators LR parser Formal languages LL parser Lookahead Parsing Programming language implementation Software Computing
719	CHAPTER 6 Web Mining: Machine learning for Web Applications Hsinchun Chen and Michael Chau Add to Reading List Source URL: www.business.hku.hk Language: English - Date: 2006-01-18 11:46:24 Statistics Data mining Machine learning Data analysis Formal sciences Text mining Information retrieval Artificial neural network Web mining Science Natural language processing Artificial intelligence
720	Formal Certification of a Compiler Back-end or: Programming a Compiler with a Proof Assistant Xavier Leroy INRIA Rocquencourt [removed] Add to Reading List Source URL: gallium.inria.fr Language: English - Date: 2005-11-14 05:48:57 Subroutines Programming language implementation Compiler construction Procedural programming languages Compiler optimizations Calling convention Compiler Function prologue Stack Software engineering Computing Computer programming

UPDATE